Luca Cardelli : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (141)
Les plus populaires
Liste
- Liste
- Tableau

1

Dynamic typing in a statically typed language

Abadi, Martín, Cardelli, Luca, Pierce, Benjamin, Plotkin, Gordon

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1991

Langue:

english

Fichier:

PDF, 1.94 MB

english, 1991

2

Type systems

Journal:

ACM Computing Surveys

Année:

1996

Langue:

english

Fichier:

PDF, 170 KB

english, 1996

3

On understanding types, data abstraction, and polymorphism

Cardelli, Luca, Wegner, Peter

Journal:

ACM Computing Surveys

Année:

1985

Langue:

english

Fichier:

PDF, 4.00 MB

english, 1985

4

Types for the Ambient Calculus

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Journal:

Information and Computation

Année:

2002

Langue:

english

Fichier:

PDF, 245 KB

english, 2002

5

Genes involved in immune response/inflammation, IGF1/insulin pathway and response to oxidative stress play a major role in the genetics of human longevity: the lesson of centenarians

Claudio Franceschi, Fabiola Olivieri, Francesca Marchegiani, Maurizio Cardelli, Luca Cavallone, Miriam Capri, Stefano Salvioli, Silvana Valensin, Giovanna De Benedictis, Angelo Di Iorio, Calogero Caru

Journal:

Mechanisms of Ageing and Development

Année:

2005

Langue:

english

Fichier:

PDF, 214 KB

english, 2005

6

Basic polymorphic typechecking

Journal:

Science of Computer Programming

Année:

1987

Langue:

english

Fichier:

PDF, 1.47 MB

english, 1987

7

A theory of primitive objects: Second-order systems

Martín Abadi, Luca Cardelli

Journal:

Science of Computer Programming

Année:

1995

Langue:

english

Fichier:

PDF, 2.04 MB

english, 1995

8

A semantics of multiple inheritance

Journal:

Information and Computation

Année:

1988

Langue:

english

Fichier:

PDF, 1.36 MB

english, 1988

9

On subtyping and matching

Abadi, Martín, Cardelli, Luca

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1996

Langue:

english

Fichier:

PDF, 261 KB

english, 1996

10

[Monographs in Computer Science] A Theory of Objects ||

Abadi, Martín, Cardelli, Luca

Année:

1996

Langue:

english

Fichier:

PDF, 26.54 MB

english, 1996

11

Subtyping recursive types

Amadio, Roberto M., Cardelli, Luca

Journal:

ACM Transactions on Programming Languages and Systems

Année:

1993

Langue:

english

Fichier:

PDF, 3.13 MB

english, 1993

12

The Formal Language and Design Principles of Autonomous DNA Walker Circuits

Boemo, Michael A., Lucas, Alexandra E., Turberfield, Andrew J., Cardelli, Luca

Journal:

ACS Synthetic Biology

Année:

2016

Langue:

english

Fichier:

PDF, 735 KB

english, 2016

13

Central Limit Model Checking

Bortolussi, Luca, Cardelli, Luca, Kwiatkowska, Marta, Laurenti, Luca

Journal:

ACM Transactions on Computational Logic

Année:

2019

Langue:

english

Fichier:

PDF, 2.94 MB

english, 2019

14

GALILEO: a strongly-typed, interactive conceptual language

Albano, Antonio, Cardelli, Luca, Orsini, Renzo

Journal:

ACM Transactions on Database Systems

Année:

1985

Langue:

english

Fichier:

PDF, 2.24 MB

english, 1985

15

[ACM Press the 23rd ACM SIGPLAN-SIGACT symposium - St. Petersburg Beach, Florida, United States (1996.01.21-1996.01.24)] Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96 - An interpretation of objects and object types

Abadi, Martín, Cardelli, Luca, Viswanathan, Ramesh

Année:

1996

Langue:

english

Fichier:

PDF, 1.15 MB

english, 1996

16

A Theory of Primitive Objects: Untyped and First-Order Systems

Martı&amp, #x0301, n Abadi, Luca Cardelli

Journal:

Information and Computation

Année:

1996

Langue:

english

Fichier:

PDF, 1.07 MB

english, 1996

17

[Monographs in Computer Science] A Theory of Objects Volume 12 || Object Orientation

Abadi, Martín, Cardelli, Luca

Année:

1996

Langue:

english

Fichier:

PDF, 618 KB

english, 1996

18

[Lecture Notes in Computer Science] ECOOP 2003 – Object-Oriented Programming Volume 2743 || Traits: Composable Units of Behaviour

Année:

2003

Langue:

english

Fichier:

PDF, 578 KB

english, 2003

19

Compiling a functional language

Année:

1984

Langue:

english

Fichier:

PDF, 967 KB

english, 1984

20

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Program fragments, linking, and modularization

Année:

1997

Fichier:

PDF, 937 KB

1997

21

[Lecture Notes in Computer Science] ECOOP 2003 – Object-Oriented Programming Volume 2743 || Higher-Order Hierarchies

Année:

2003

Langue:

english

Fichier:

PDF, 305 KB

english, 2003

22

[Lecture Notes in Computer Science] ECOOP 2003 – Object-Oriented Programming Volume 2743 || Open APIs for Embedded Security

Année:

2003

Langue:

english

Fichier:

PDF, 333 KB

english, 2003

23

A gender–dependent genetic predisposition to produce high levels of IL-6 is detrimental for longevity

Massimiliano Bonafè, Fabiola Olivieri, Luca Cavallone, Simona Giovagnetti, Francesca Marchegiani, Maurizio Cardelli, Carlo Pieri, Maurizio Marra, Roberto Antonicelli, Rosmarie Lisa, Maria Rosaria Rizz

Journal:

European Journal of Immunology

Année:

2001

Langue:

english

Fichier:

PDF, 71 KB

english, 2001

24

A Process Model of Actin Polymerisation

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 1.95 MB

english, 2009

25

Preface

Luca Cardelli, Marcelo Fiore, Glynn Winskel

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 124 KB

english, 2007

26

A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.46 MB

english, 2008

27

A spatial logic for concurrency—II

Luı́s Caires, Luca Cardelli

Journal:

Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 485 KB

english, 2004

28

BioAmbients: an abstraction for biological compartments

Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro

Journal:

Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 993 KB

english, 2004

29

On process rate semantics

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2008

30

A process model of Rho GTP-binding proteins

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips

Journal:

Theoretical Computer Science

Année:

2009

Langue:

english

Fichier:

PDF, 4.59 MB

english, 2009

31

Mobile ambients

Luca Cardelli, Andrew D. Gordon

Journal:

Theoretical Computer Science

Année:

2000

Langue:

english

Fichier:

PDF, 208 KB

english, 2000

32

Secrecy and Group Creation

Luca Cardelli, Andy Gordon, Giorgio Ghelli

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Fichier:

PDF, 28 KB

2001

33

Mobile Ambients: Extended Abstract

Luca Cardelli, Andrew D. Gordon

Journal:

Electronic Notes in Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 236 KB

english, 1998

34

Strand algebras for DNA computing

Journal:

Natural Computing

Année:

2011

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2011

35

Manipulating Trees with Hidden Labels

Luca Cardelli, Philippa Gardner, Giorgio Ghelli

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 357 KB

english, 2007

36

Bitonal membrane systems: Interactions of biological membranes

Journal:

Theoretical Computer Science

Année:

2008

Langue:

english

Fichier:

PDF, 1.55 MB

english, 2008

37

The G/C915 polymorphism of transforming growth factor β1 is associated with human longevity: a study in Italian centenarians

Giuseppina Carrieri, Erika Marzi, Fabiola Olivieri, Francesca Marchegiani, Luca Cavallone, Maurizio Cardelli, Simona Giovagnetti, Rosalia Stecconi, Cinzia Molendini, Chiara Trapassi, Giovanna De Bened

Journal:

Année:

2004

Langue:

english

Fichier:

PDF, 107 KB

english, 2004

38

Genetic analysis of Paraoxonase (PON1) locus reveals an increased frequency of Arg192 allele in centenarians

Bonafè, Massimiliano, Marchegiani, Francesca, Cardelli, Maurizio, Olivieri, Fabiola, Cavallone, Luca, Giovagnetti, Simona, Pieri, Carlo, Marra, Maurizio, Antonicelli, Roberto, Troiano, Leonarda

Journal:

European Journal of Human Genetics

Année:

2002

Langue:

english

Fichier:

PDF, 102 KB

english, 2002

39

Comparing Object Encodings

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce

Journal:

Information and Computation

Année:

1999

Langue:

english

Fichier:

PDF, 206 KB

english, 1999

40

Secrecy and group creation

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon

Journal:

Information and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 307 KB

english, 2005

41

Genetic polymorphisms of inflammatory cytokines and myocardial infarction in the elderly

Fabiola Olivieri, Roberto Antonicelli, Maurizio Cardelli, Francesca Marchegiani, Luca Cavallone, Eugenio Mocchegiani, Claudio Franceschi

Journal:

Mechanisms of Ageing and Development

Année:

2006

Langue:

english

Fichier:

PDF, 158 KB

english, 2006

42

Processes in space

Luca Cardelli, Philippa Gardner

Journal:

Theoretical Computer Science

Année:

2012

Langue:

english

Fichier:

PDF, 383 KB

english, 2012

43

The role of IL-1 gene cluster in longevity: a study in Italian population

Luca Cavallone, Massimiliano Bonafè, Fabiola Olivieri, Maurizio Cardelli, Francesca Marchegiani, Simona Giovagnetti, Grazia Di Stasio, Claudia Giampieri, Elena Mugianesi, Rosalia Stecconi, Francesca S

Journal:

Mechanisms of Ageing and Development

Année:

2003

Langue:

english

Fichier:

PDF, 215 KB

english, 2003

44

In vitro IL-6 production by EBV-immortalized B lymphocytes from young and elderly people genotyped for −174 C/G polymorphism in IL-6 gene: a model to study the genetic basis of inflamm-aging

Fabiola Olivieri, Massimiliano Bonafè1, Simona Giovagnetti, Rosalia Stecconi, Maurizio Cardelli, Luca Cavallone, Liana Spazzafumo, Francesca Marchegiani, Giuseppina Carrieri, Elena Mugianesi, Claudia

Journal:

Mechanisms of Ageing and Development

Année:

2003

Langue:

english

Fichier:

PDF, 244 KB

english, 2003

45

Increase of homozygosity in centenarians revealed by a new inter-Alu PCR technique

Massimiliano Bonafè, Maurizio Cardelli, Francesca Marchegiani, Luca Cavallone, Simona Giovagnetti, Fabiola Olivieri, Rosamaria Lisa, Carlo Pieri, Claudio Franceschi

Journal:

Experimental Gerontology

Année:

2001

Langue:

english

Fichier:

PDF, 237 KB

english, 2001

46

The −174 C/G locus affects in vitro/in vivo IL-6 production during aging

Fabiola Olivieri, Massimiliano Bonafè, Luca Cavallone, Simona Giovagnetti, Francesca Marchegiani, Maurizio Cardelli, Elena Mugianesi, Claudia Giampieri, Raffaella Moresi, Rosalia Stecconi, Rosamaria L

Journal:

Experimental Gerontology

Année:

2002

Langue:

english

Fichier:

PDF, 100 KB

english, 2002

47

A spatial logic for concurrency (part I)

Luı́s Caires, Luca Cardelli

Journal:

Information and Computation

Année:

2003

Langue:

english

Fichier:

PDF, 400 KB

english, 2003

48

Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics

Dennis YQ Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher

Journal:

BMC Systems Biology

Année:

2009

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2009

49

[Monographs in Computer Science] A Theory of Objects Volume 6299 || Class-Based Languages

Abadi, Martín, Cardelli, Luca

Année:

1996

Langue:

english

Fichier:

PDF, 1.45 MB

english, 1996

50

[Monographs in Computer Science] A Theory of Objects Volume 6299 || Primitive Covariant Self Types

Abadi, Martín, Cardelli, Luca

Année:

1996

Langue:

english

Fichier:

PDF, 1.62 MB

english, 1996